Turining Machines For Recursive Languages